Finite-State Testing and Analysis of Graphical User Interfaces
نویسنده
چکیده
Based on finite-state automata (FSA) and equivalent regular expressions, the paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, revealing much rationalization potential. Appropriate formal notions will be used to introduce efficient algorithms to systematically generate and select test cases. The completeness of the test can be determined exploiting the link coverage of the state transition diagram of the FSA that models both the desired and undesired behavior of the system under test; this enables a precise scalability of the test and analysis process, leading to a better cost-effectiveness The elements of the approach will be narrated by realistic examples which will be used also to validate the approach.
منابع مشابه
A New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملFinite-State Testing of Graphical User Interfaces
The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalabilit...
متن کاملUsing State Diagrams to Generate Unit Tests for Object-Oriented Systems
Traditionally, finite state machines and their extensions, such as stream X-machines, have been used for modelling and testing of graphical user interfaces (GUI) and for acceptance testing. This paper shows how these testing techniques can be successfully extended to unit test generation for object-oriented systems and integrated into Extreme Programming in a simple and designer-friendly way. T...
متن کاملResearch and Practice in Sweden
Manual regression testing of graphical user interfaces is a time consuming task that a family of tools known as capture/replay tools seeks to automate. This paper presents a case study that compares the costs and benefits of a state of the art capture/replay tool (Rational Functional Tester) to the costs and benefits of manual regression testing. Our findings suggest that, for projects with inf...
متن کاملA Literature Survey on Finite State Testing of Graphical User Interface
The automated graphical user interface (GUI) testing has been a challenging task. The manual testing done in the GUI requires huge amount of time, so in order to reduce this time, many automated GUI testing techniques have been proposed. The most common way testing with any software is based on the finite state machine (FSM). It has been used since we have the software that doesn’t have the GUI...
متن کاملChallenges and opportunities for improving code-based testing of graphical user interfaces
The research presented in this paper introduces an execution model for graphical user interfaces (GUIs) that we have developed and formalized as a sequence of actions and finite output states. This model has allowed us to investigate the possibility of applying code-based testing methodologies to testing graphical user interfaces. Our findings highlighted challenges and revealed opportunities t...
متن کامل